Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 009E56 | Olivier Bournez [France] ; Oded Maler [France] | On the Representation of Timed Polyhedra |
| 009F33 | Eugene Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems |
| 009F95 | Eugene Asarin [France] ; Olivier Bournez [France] ; THAO DANG [France] ; Oded Maler [France] ; Amir Pnueli [Israël] | Effective synthesis of switching controllers for linear systems |
| 00A173 | Olivier Bournez [France] ; Oded Maler [France] | On the representation of timed polyhedra |
| 00A232 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] ; Amir Pnueli [France] | Effective Synthesis of Switching Controllers for Linear Systems |
| 00A271 | Eugène Asarin [France] ; Olivier Bournez [France] ; Thao Dang [France] ; Oded Maler [France] | Approximate reachability analysis of piecewise-linear dynamical systems |
| 00AC63 | Olivier Bournez [France] ; Oded Maler [France] ; Amir Pnueli [France] | Orthogonal Polyhedra: Representation and Computation |
| This area was generated with Dilib version V0.6.33. |  |